Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Книжкові видання та компакт-диски (1) | Реферативна база даних (2) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>A=Неткачёва Е$<.>) | |||
|
Загальна кількість знайдених документів : 2 Представлено документи з 1 до 2 |
|||
| 1. | 
Неткачёва Е. И. Прогноз количества дефектов программного обеспечения по результатам тестирования [Електронний ресурс] / Е. И. Неткачёва // Радіоелектронні і комп’ютерні системи. - 2012. - № 7. - С. 92–95. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2012_7_17 | ||
| 2. | 
Неткачёва Е. И. Доказательство и обеспечение безопасности с использованием формальных нотаций [Електронний ресурс] / Е. И. Неткачёва, В. С. Харченко // Системи озброєння і військова техніка. - 2011. - № 3. - С. 89-97. - Режим доступу: http://nbuv.gov.ua/UJRN/soivt_2011_3_22 Рассмотрены современные подходы к построению доказательства безопасности c использованием формальных нотаций. Представлена концепция обоснований безопасности, гарантии и доверия, описана организация процесса разработки и структура результирующих отчетов по безопасности. Рассмотрены и проанализированы три наиболее распространенные нотации для представления обоснований: нотация Тулмина, Ascad и GSN, с подробным описанием основных элементов и схематичным представлением и анализом моделей аргументов этих нотаций. | ||
Попередній перегляд: 
Реферативна БД
 |
| Відділ наукової організації електронних інформаційних ресурсів |
 Пам`ятка користувача |